Computer Laboratory

Results: 4525



#Item
331Software / Computer programming / Livermore Valley / Lawrence Livermore National Laboratory / Ernest Lawrence / United States Department of Energy national laboratories / ROSE / Pointer / Fortran / Livermore /  California / Valgrind

CIRM - Dynamic Error Detection

Add to Reading List

Source URL: pirkelbauer.com

Language: English - Date: 2012-06-14 00:08:04
332Game theory / Mechanism design / VickreyClarkeGroves mechanism / Nash equilibrium / Mathematics / Problem solving / Decision-making

Mechanism Design by Creditability? Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schmid, and Roger Wattenhofer Computer Engineering and Networks Laboratory ETH Zurich, Switzerland Abstract. This paper attends to the pro

Add to Reading List

Source URL: disco.ethz.ch

Language: English - Date: 2014-09-26 08:36:37
333Concurrent computing / Computing / Parallel computing / Distributed computing / Data-intensive computing / Big data / Cloud computing / Computer cluster / Supercomputer

U.S. Army Research Laboratory Technical Implementation Plan 2016 – 2020 U.S. ARMY RESEARCH LABORATORY MISSION: Discover, innovate, and transition science and technology

Add to Reading List

Source URL: www.defenseinnovationmarketplace.mil

Language: English - Date: 2016-07-01 11:37:00
334Graph theory / Mathematics / NP-complete problems / Edsger W. Dijkstra / Routing algorithms / Network theory / Unit disk graph / Search algorithms / Connectivity / Topology control / Independent set / Dominating set

Sensor Networks Continue to Puzzle: Selected Open Problems Thomas Locher, Pascal von Rickenbach, and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, Switzerland {lochert, pascalv, wattenhofer}

Add to Reading List

Source URL: www.tik.ee.ethz.ch

Language: English - Date: 2015-05-18 12:15:52
335Markov models / Markov processes / Statistics / Graph theory / Markov chain / Data / Jane Hillston / Laboratory for Foundations of Computer Science / Chain / Stochastic process / Stochastic / Computing

Introduction Model Analysis Tool Support

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2007-05-30 12:50:22
336Computing / Concurrent computing / Parallel computing / Apache Software Foundation / Hadoop / Cloud infrastructure / Apache Hadoop / Data-intensive computing / MapReduce / Computer cluster / Pig / Google File System

Benchmarking MapReduce Implementations for Application Usage Scenarios Zacharia Fadika 1 , Elif Dede 2 , Madhusudhan Govindaraju 3 , Lavanya Ramakrishnan‡ Grid and Cloud Computing Research Laboratory, Department of Com

Add to Reading List

Source URL: www.cs.binghamton.edu

Language: English - Date: 2013-07-27 18:14:45
337Formal languages / Mathematical analysis / Mathematics / Theoretical computer science / Symbol / Omega language / Constructible universe / Regular language / Star height / Linear temporal logic / Differential forms on a Riemann surface

Classifying Regular Languages by a Split Game Qiqi Yan∗ BASICS Laboratory, Department of Computer Science and Engineering, Shanghai Jiao Tong University, 200240, Shanghai, P.R. China

Add to Reading List

Source URL: www.qiqiyan.com.s3-website-us-east-1.amazonaws.com

Language: English - Date: 2012-07-04 18:28:36
338Computer access control / Cryptography / Computer security / Distance-bounding protocol / Security / Ubiquitous computing / Challengeresponse authentication / Radio-frequency identification / IP / Security token / NP / Cryptographic nonce

An RFID Distance Bounding Protocol Gerhard P. Hancke, Markus G. Kuhn University of Cambridge, Computer Laboratory 15 JJ Thomson Avenue, Cambridge CB3 0FD, UK {gh275,mgk25}@cl.cam.ac.uk Abstract

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2005-11-25 11:04:54
339Cartography / Geography / Data / Bivariate map / Choropleth map / Thematic map / Contour line / Histogram / Map / Spatial analysis / Geographic information system / Statistical classification

BIVARIATE CONSTRUCTION OF EQUAL-CLASS THEMATIC MAPS Geoffrey Dutton Laboratory for Computer Graphics and Spatial Analysis Harvard Graduate School of Design 48 Quincy Street

Add to Reading List

Source URL: mapcontext.com

Language: English - Date: 2008-08-29 23:49:30
3403D printing / Business / DIY culture / Emerging technologies / Technology / Input/output / Computer printers / Manufacturing / Printer / 3D modeling / Printing / Thingiverse

The Laboratory @ the Thompson Library The Laboratory is a place for experimentation, investigation and observation for the creative & curious. 3D printer funded by Gladys Tucker’s generous donation. Additional funding

Add to Reading List

Source URL: thompsonpubliclibrary.org

Language: English - Date: 2016-05-10 13:31:05
UPDATE